Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four-valued non-deterministic matrices, in order to characterize a hierarchy of weak modal logics without the necessitation rule. In a previous paper, we extended some systems of Ivlev’s hierarchy, also proposing weaker six-valued systems in which the axiom was replaced by the deontic axiom. In this paper, we propose even weaker systems, by eliminating (...) both axioms, which are characterized by eight-valued non-deterministic matrices. In addition, we prove completeness for those new systems. It is natural to ask if a characterization by finite ordinary logical matrices would be possible for all those Ivlev-like systems. We will show that finite deterministic matrices do not characterize any of them. (shrink)

The Logics of Deontic (In)Consistency (LDI's) can be considered as the deontic counterpart of the paraconsistent logics known as Logics of Formal (In)Consistency. This paper introduces and studies new LDI's and other paraconsistent deontic logics with different properties: systems tolerant to contradictory obligations; systems in which contradictory obligations trivialize; and a bimodal paraconsistent deontic logic combining the features of previous systems. These logics are used to analyze the well-known Chisholm's paradox, taking profit of the fact that, besides contradictory obligations do (...) not trivialize in LDI's, several logical dependencies of classical logic are blocked in the context of LDI's, allowing to dissolve the paradox. (shrink)

In the first part of this paper we analyzed finite non-deterministic matrix semantics for propositional non-normal modal logics as an alternative to the standard Kripke possible world semantics. This kind of modal system characterized by finite non-deterministic matrices was originally proposed by Ju. Ivlev in the 70s. The aim of this second paper is to introduce a formal non-deterministic semantical framework for the quantified versions of some Ivlev-like non-normal modal logics. It will be shown that several well-known controversial issues of (...) quantified modal logics, relative to the identity predicate, Barcan’s formulas and de re and de dicto modalities, can be tackled from a new angle within the present framework. (shrink)

In view of the limitations of classical, free, and modal logics to deal with fictional names, we develop in this paper a four-valued logical framework that we see as a promising strategy for modeling contexts of reasoning in which those names occur. Specifically, we propose to evaluate statements in terms of factual and fictional truth values in such a way that, say, declaring ‘Socrates is a man’ to be true does not come down to the same thing as declaring ‘Sherlock (...) Holmes is a man’ to be so. As a result, our framework is capable of representing reasoning involving fictional characters that avoids evaluating statements according to the same semantic standards. The framework encompasses two logics that differ according to alternative ways one may interpret the relationships among the factual and fictional truth values. (shrink)

In 1940 Dugundji proved that no system between S1 and S5 can be characterized by finite matrices. Dugundji’s result forced the development of alternative semantics, in particular Kripke’s relational semantics. The success of this semantics allowed the creation of a huge family of modal systems. With few adaptations, this semantics can characterize almost the totality of the modal systems developed in the last five decades. This semantics however has some limits. Two results of incompleteness showed that not every modal logic (...) can be characterized by Kripke frames. Besides, the creation of non-classical modal logics puts the problem of characterization of finite matrices very far away from the original scope of Dugundji’s result. In this sense, we will show how to update Dugundji’s result in order to make precise the scope and the limits of many-valued matrices as semantic of modal systems. A brief comparison with the useful Chagrov and Zakharyaschev’s criterion of tabularity for modal logics is provided. (shrink)

In this paper we introduce non-normal modal extensions of the sub-classical logics CLoN, CluN and CLaN, in the same way that S0.5 0 extends classical logic. The first modal system is both paraconsistent and paracomplete, while the second one is paraconsistent and the third is paracomplete. Despite being non-normal, these systems are sound and complete for a suitable Kripke semantics. We also show that these systems are appropriate for interpreting □ as “is provable in classical logic”. This allows us to (...) recover the theorems of propositional classical logic within three sub-classical modal systems. (shrink)

In this note, an error in the axiomatization of Ivlev’s modal system Sa+ which we inadvertedly reproduced in our paper “Finite non-deterministic semantics for some modal systems”, is fixed. Additionally, some axioms proposed in were slightly modified. All the technical results in which depend on the previous axiomatization were also fixed. Finally, the discussion about decidability of the level valuation semantics initiated in is taken up. The error in Ivlev’s axiomatization was originally pointed out by H. Omori and D. Skurt (...) in the paper “More modal semantics without possible worlds”, where an alternative solution was proposed. (shrink)

Trying to overcome Dugundji’s result on uncharacterisability of modal logics by finite logical matrices, Kearns and Ivlev proposed, independently, a characterisation of some modal systems by means of four-valued multivalued truth-functions , as an alternative to Kripke semantics. This constitutes an antecedent of the non-deterministic matrices introduced by Avron and Lev . In this paper we propose a reconstruction of Kearns’s and Ivlev’s results in a uniform way, obtaining an extension to another modal systems. The first part of the paper (...) is devoted to four-valued Nmatrices, including Kearns’s and Ivlev’s. Besides proving with full details Kearns’s results for T, S4 and S5, we also obtain a characterisation of the system B by four-valued Nmatrices with level valuations. Concerning Ivlev’s results, two new modal systems are introduced and char.. (shrink)

En contrepoint à son œuvre mathématique et physique — et en relation avec elle — d'Alembert a développé une théorie de la connaissance influencée par Locke et le sensualisme de Condillac, mais centrée avant tout sur une épistémologie de la physique newtonienne. Réaliste, prônant le recours à l'expérience, il est en même temps profondément rationaliste, et même précisément, quoiqu'il s'en défende plutôt, dans la lignée de Descartes, Mais, bien que la Raison soit sa référence fondamentale, à tel point qu'il voudrait (...) fonder sur ses principes les plus évidents toute la science physico-mathématique — c'est-à-dire par excellence la Mécanique —, son programme ne peut être dit cartésien : non seulement il rejette les idées innées, mais il accepte la critique d'une rationalité apparente requise par la considération de faits irréductibles (l'attraction par exemple). Son épistémologie est un réalisme rationnel référé à l'être même de la Nature (la Raison et la Nature se rejoignent en profondeur). C'est en fonction de ces conceptions qu'il accepte ou rejette certaines notions physiques soit ambiguës, soit incertaines. Son rejet du concept de force comme celui de la considération d'une texture intime des corps semblent en faire, par le refus de ce qui ne serait pas directement mesurable, l'annonciateur du positivisme de Laplace et de Comte : une telle interprétation serait inexacte, et d'Alembert considère que la pensée peut parvenir à la connaissance du réel. Si ses conceptions s'élaborent en contrepoint de son activité scientifique, c'est en même temps en lutte et polémique contre la métaphysique, au sein de son engagement philosophique — il est tête de file, avec Voltaire, du « parti philosophique » — et notamment dans l'Encyclopédie. Bien qu'il se réfère, comme Newton, à une Intelligence suprême à l'œuvre dans l'Univers, il n'est pas déiste et affiche bientôt une position sceptique. Sa recherche et son affirmation de l'autonomie des lois de la Nature sont a-thées au sens privatif qui annonce Laplace. Il s'oppose au matérialisme de d'Holbach ou Helvétius, mais il se rapproche peu à peu — et notamment vers 1765, sans doute sous l'influence de Diderot qui rédigea vers cette époque Le rêve de d'Alembert et avec qui il venait de renouer — d'un matérialisme dynamique : mais, ce matérialisme, il ne le professe qu'en privé (essentiellement dans sa correspondance avec Frédéric de Prusse). L'âme est matérielle, et si « le plus simple raisonnement prouve qu'il y a un être éternel » , ce Dieu est matériel, il « n'est que la matière en tant qu'intelligente » , ce qui rejoint la définition du matérialisme donnée par Diderot dans l'Encyclopédie. Toutefois, refusant de se prononcer sur l'en-soi des choses, et sur la nature de la matière elle-même, comme de se définir métaphysiquement, son matérialisme tardif est encore marqué de scepticisme. (shrink)

L'œuvre de Cassirer nous offre une vision pluraliste du XVIIIe siècle. Sous cet éclairage, Rousseau redevient citoyen de Genève et Bayle le banni de Rotterdam, le cartésianisme se fait principalement hollandais et Voltaire l'interprète de Newton. Pour Cassirer, le XVIIIe siècle est ce foisonnement convergent qui rompt les frontières nationales comme les frontières de langues, de classes ou de disciplines. Dans cette brillante synthèse, Cassirer s'emploie à balayer les poncifs. Certes, le XVIIIe siècle politique, mais il est aussi un (...) grand siècle religieux : celui de la lutte contre l'intolérance et la superstition, celui, surtout, de l'élaboration des fondements de la foi. Siècle qui marque la naissance de l'esprit historique, le XVIIIe siècle a le sens de la relativité des valeurs. Enfin, il est le siècle de l'esthétique : toute théorie de l'art en viendra. (shrink)

L'œuvre de Cassirer nous offre une vision pluraliste du XVIIIe siècle. Sous cet éclairage, Rousseau redevient citoyen de Genève et Bayle le banni de Rotterdam, le cartésianisme se fait principalement hollandais et Voltaire l'interprète de Newton. Pour Cassirer, le XVIIIe siècle est ce foisonnement convergent qui rompt les frontières nationales comme les frontières de langues, de classes ou de disciplines. Dans cette brillante synthèse, Cassirer s'emploie à balayer les poncifs. Certes, le XVIIIe siècle politique, mais il est aussi un (...) grand siècle religieux : celui de la lutte contre l'intolérance et la superstition, celui, surtout, de l'élaboration des fondements de la foi. Siècle qui marque la naissance de l'esprit historique, le XVIIIe siècle a le sens de la relativité des valeurs. Enfin, il est le siècle de l'esthétique : toute théorie de l'art en viendra. (shrink)

C’est à Maurolic, et non à Dominis, comme l’ont dit certains auteurs, que, selon nous, Descartes doit quelques éléments de son explication de l’arc- en-ciel, en particulier l’idée du rôle fondamental et de la position relative générale du soleil et des gouttes d’eau.Mais cette théorie, magistrale application de la Méthode, porte surtout la marque du génie cartésien par la forme mathématique que prennent les résultats des expériences.Lies physiciens cartésiens la reproduisirent. Malebranche l’élargit sous l’influence de Huygens et de Newton, (...) et l’exprima en termes d’optique ondulatoire. (shrink)

This book collects texts from three specialists in ancient philosophy which deal with the question of perceptive and intellective knowledge in antiquity. They try to present, in their different analyzes, the complex interrelationship among perception and thought in ancient authors, like Heraclitus, Parmenides, Democritus, Plato and Aristotle. The purpose of the texts is to expose the visible field - the perceptual knowledge domain - interacts with the invisible - the domain of reason and thought. In other words, that among them (...) there is no a radical separation of these two areas, although they are clearly distinct. (shrink)

Examines the aims and tools of science for creating theories and explanations of phenomena, with an eye to answering the question of whether or not science ...

This chapter contains section titled: Introduction: How Brent Spar Changed the Rules The Brent Spar was not Alone: Two Sentinel Cases What is Going on? The Power Shift Third Sector, Global Civil Society Dealing with Attacks from CSOs Challenges for the CSOs The Ultimate Hope for the CSOs Case 7: Monsanto and the Genetically Modified Organisms Notes.

A casebook in environmental ethics that presents the classic cases with adequate detail so the students experience real situations in order to learn how serious and complex the issues are. The authors present a balanced, impartial account of these events that will interest and challenge students.

In this paper, the need of increasing transdisciplinarity research is advocated. After having set out some peculiarity of transdisciplinarity compared with related concepts such as multidisciplinarity and interdisciplinarity, four evolutionary stages of scientific disciplines, based on a model recently proposed are presented. This model is then applied to the case of Plant Physiology in order to attempt an evaluation of the potential for transdisciplinary engagement of the discipline, and each of the four stages of the discipline is evaluated. In conclusion, (...) some future perspectives of Plant Physiology are sketched with reference to its transdisciplinary potential. (shrink)

Apresento e desenvolvo neste artigo o problema da prova sortuda, analisando duas soluções para ele presentes na literatura. A primeira delas consistira em alegar que mostrar que o predicado está contido no sujeito não basta como demonstração da verdade de uma proposição, sendo preciso que se prove ainda que a noção relativa ao sujeito é logicamente consistente. A segunda repousaria em uma hierarquização modal, por assim dizer, dos pre- dicados integrantes de uma noção individual. Após exibir as razões que me (...) levam a rejeitar essas duas soluções, apresento os traços fundamentais de uma interpretação que me parece resolver o problema de maneira satisfatória. Minha posição envolve conceder ao Princípio da Razão Suficiente um papel central na compreensão do que significa, para Leibniz, provar que um determinado predicado está contido na noção relativa a um certo indivíduo. (shrink)

This article looks for scanning the History of the Council of Trent emphatically in what concerns to the antecedents that went through its path and culminate in it. Under the key of an “Ecclesia semper reformanda” we look for understanding the internal reformations in the Church of that age not as private diligences to the Council's motion, as if the Council was the great awakener of a monolithic Church to the needs of an intrareformation, but, despite this, aiming the history (...) of the Council, often, in that time of crisis in Latin Church, at that context of the rise and expansion of Protestantism, it's possible to see, in Church's breast, a wish of ecclesiastical, pastoral and dogmatic reformation, renovation and updating that, ulteriorly, was already largely disseminated in practices and discussions of the Church even before the very Council. Indeed, we have discovered a movement of internal and previous reformation that converged to Trent and greatly influenced it, so we say that almost there was nothing new in the Council, any pastoral or dogmatic guideline exclusive and genuinely tridentine. Trent's just the apex, the vertex, so to speak, the crown of intrareformist movement within the Church as we shall show in our research, drawing Council's history from long before, unveiling what came previously about the discussions and directions taken. (shrink)

[opening paragraph]: It is easy to conceptualize a problem in a way that prevents a solution. If the conceptualization is entrenched in one's culture or profession, it may appear unalterable. But there is so much precedent for the discovery of fruitful reconceptualizations that in the case of most philosophical and scientific puzzles it is probably irrational ever to give up trying. The notion of qualia, understood as phenomenal properties of sensations that can exist as objects of experience for a conscious (...) subject, is too recent in origin and too specialized in usage to warrant concluding that qualia cannot be understood in terms of physical processes. Humphrey offers an analysis of qualitative mental states that purportedly renders them commensurate with brain states, allowing them to be described in terms of the same dimensions. If his attempt is successful the conceptual gap between mind and body could be closed. Is it successful? (shrink)

It should come as no surprise that a music and arts festival dogged by scandal would lead to two separate documentaries that each raise ethical concerns. The 2017 demise of the Fyre Festival, a would-be luxury music event in the Bahamas targeted at millennials, inspired late-night comedians’ jokes, social media schadenfreude and so far, two documentaries detailing how things went so wrong. Both films detail the maddening twists and turns during the preparations for the Fyre Festival and make it clear (...) to viewers that it was doomed from the start. Both films also contain potential conflicts of interest that are notable, and notably absent from discussion or clarification in either film. (shrink)

It should come as no surprise that a music and arts festival dogged by scandal would lead to two separate documentaries that each raise ethical concerns. The 2017 demise of the Fyre Festival, a would-be luxury music event in the Bahamas targeted at millennials, inspired late-night comedians’ jokes, social media schadenfreude and so far, two documentaries detailing how things went so wrong. Both films detail the maddening twists and turns during the preparations for the Fyre Festival and make it clear (...) to viewers that it was doomed from the start. Both films also contain potential conflicts of interest that are notable, and notably absent from discussion or clarification in either film. (shrink)

Mental health legislation that requires patients to accept ‘care’ has come under increasing scrutiny, prompted primarily by a human rights ethic. Epistemic issues in mental health have received some attention, however, less attention has been paid to the possible epistemic problems of mental health legislation existing. In this manuscript, we examine the epistemic problems that arise from the presence of such legislation, both for patients without a prior experience of being detained under such legislation and for those with this experience. (...) We also examine how the doctor is legally obligated to compound the epistemic problems by the knowledge they prioritise and the failure to generate new knowledge. Specifically, we describe the problems of testimonial epistemic injustice, epistemic silencing, and epistemic smothering, and address the possible justification provided by epistemic paternalism. We suggest that there is no reasonable epistemic justification for mental health legislation that creates an environment that fundamentally unbalances the doctor–patient relationship. Significant positive reasons to counterbalance this are needed to justify the continuation of such legislation. (shrink)

Does “business ethics,” as we have developed it in the United States, apply without change when business goes abroad? We argue that we cannot assume, in foreign nations (especially in the developing world), that the assumptions of U.S. business practice and business ethics hold without modification. An attempt to find a universally applicable ethic for global business results in the tentative formulation of “ten commandments” to guide the practice of business in the nations of the world.